Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 7.Ident. | Authors (with country if any) | Title |
---|---|---|
001128 | Daniel Leivant [États-Unis] ; Jean-Yves Marion [France] | Evolving graph-structures and their implicit computational complexity |
001586 | Daniel Leivant [États-Unis] ; Jean-Yves Marion [France] | Evolving Graph-Structures and Their Implicit Computational Complexity |
006D05 | Daniel Leivant [États-Unis] | Intrinsic reasoning about functional programs II: unipolar induction and primitive-recursion |
009939 | Daniel Leivant [États-Unis] ; Jean-Yves Marion [France] | Ramified Recurrence and Computational Complexity IV : Predicative Functionals and Poly-Space |
009D70 | Daniel Leivant [États-Unis] ; Jean-Yves Marion [États-Unis, France] | A characterization of alternating log time by ramified recurrence |
00BC23 | Daniel Leivant [États-Unis] ; Jean-Yves Marion [France] | Predicative functional recurrence and poly-space |
00C716 | Daniel Leivant [États-Unis] ; Jean-Yves Marion [France] | Ramified recurrence and computational complexity II: Substitution and poly-space |
This area was generated with Dilib version V0.6.33. |